graph reduction machine

图归约机